Architecture of Embedded System Software

Architecture of Embedded System Software

The verification of real-life C/C++ code is inherently hard. Not only are there numerous challenging language constructs, but the precise semantics is often elusive or at best vague. This is even more true for systems software where non-ANSI compliant constructs are used, hardware is addressed directly and assembly code is embedded. In this work we present a lightweight solution to detect softw...

Information system architecture for developing reusable testplans for embedded software

Advanced control strategies and communication are integrated within the embedded controllers utilized for automotive control applications. These systems must be subjected to a thorough quality assurance regimen to ensure that the safety critical requirements have been satisfied. The information system architecture presented in this paper is designed to facilitate this process. The power of data...

Software Architecture Patterns for Distributed Embedded Control System

In distributed machine control system the software architecture is typically a weak spot because developers lack good design practices. Software architecture design patterns have been found useful for improving the software design. However, there is no comprehensive collection of patterns for distributed machine control systems even though many patterns and pattern languages can be applied to t...

Better Embedded System Software

The Architecture of a Reliable Software Monitoring System for Embedded Software Systems

We develop the notion of a measurement-based methodology for embedded software systems to ensure properties of reliability, survivability and security, not only under benign faults but under malicious and hazardous conditions as well. The driving force is the need to develop a dynamic run-time monitoring system for use in these embedded mission critical systems. These systems must run reliably,...